(define (problem agent)
	(:domain agent)
	(:objects 
		 dummy_t_camera - t_camera
		 o102 o101 - t_container
		 o51 o55 o54 o53 o52 o58 o57 o56 - t_door
		 dummy_t_floor - t_floor
		 dummy_t_phone - t_phone
		 dummy_t_switch - t_switch
		 dummy_t_vender - t_vender
		 o1 o2 o3 o4 o5 o6 o7 - t_room
		 o201 - t_key
		 o202 - t_treasure
		 o301 - t_burglar
		 dummy_t_dog - t_dog
		 dummy_t_guard - t_guard
	)
	(:init
		(closed o51)
		(door_connects o51 o1 o2)
		(door_connects o51 o2 o1)
		(position_in o51 o1)
		(position_in o51 o2)
		(position_in o102 o7)
		(closed o102)
		(contains o102 o202)
		(position_in o101 o3)
		(closed o101)
		(contains o101 o201)
		(closed o55)
		(door_connects o55 o3 o6)
		(door_connects o55 o6 o3)
		(position_in o55 o3)
		(position_in o55 o6)
		(closed o54)
		(door_connects o54 o2 o5)
		(door_connects o54 o5 o2)
		(position_in o54 o2)
		(position_in o54 o5)
		(closed o53)
		(door_connects o53 o2 o4)
		(door_connects o53 o4 o2)
		(position_in o53 o2)
		(position_in o53 o4)
		(closed o52)
		(door_connects o52 o2 o3)
		(door_connects o52 o3 o2)
		(position_in o52 o2)
		(position_in o52 o3)
		(closed o58)
		(needs_key o58 o201)
		(door_connects o58 o6 o7)
		(door_connects o58 o7 o6)
		(position_in o58 o6)
		(position_in o58 o7)
		(closed o57)
		(door_connects o57 o5 o7)
		(door_connects o57 o7 o5)
		(position_in o57 o5)
		(position_in o57 o7)
		(closed o56)
		(door_connects o56 o4 o7)
		(door_connects o56 o7 o4)
		(position_in o56 o4)
		(position_in o56 o7)
		(agent_next_to o301 dummy_t_floor)
		(position_in dummy_t_floor o1)
		(agent_in o301 o1)
	)
	(:goal
		(and
			(agent_in o301 o1)
			(contains o301 o202)
		(not 		(visited o301 o7))
		)
	)
)
